A: (342549133 / 30368338, sqrt(68143844781297815) / 30368338)
B: (0, 0)
C: (197 / 13, 0)
a = Segment(B, C)
b = Segment(C, A)
c = Segment(A, B)
AB = Line(A, B)
BC = Line(B, C)
CA = Line(C, A)
d = Incircle(A, B, C)
x1 = TriangleCenter(A, B, C, 1)
tA = Barycenter({A, B, C}, {(((4 * a^(2)) * (a + b - c)) * (a - b + c)), (-(((a - b - c) * (a + b - c)^(3)))), (-(((a - b - c) * (a - b + c)^(3))))})
cA = Barycenter({A, B, C}, {((2 * a^(2)) * ((5 * a^(3)) - ((3 * a^(2)) * b) - (a * b^(2)) - b^(3) - ((3 * a^(2)) * c) + (((2 * a) * b) * c) + (b^(2) * c) - (a * c^(2)) + (b * c^(2)) - c^(3))), (-a^(5)) + ((3 * a^(4)) * b) - ((12 * a^(3)) * b^(2)) + ((4 * a^(2)) * b^(3)) + ((5 * a) * b^(4)) + b^(5) + ((3 * a^(4)) * c) - (((2 * a^(3)) * b) * c) + (((2 * a^(2)) * b^(2)) * c) - (((2 * a) * b^(3)) * c) - (b^(4) * c) - ((2 * a^(3)) * c^(2)) - (((4 * a^(2)) * b) * c^(2)) - (((8 * a) * b^(2)) * c^(2)) - ((2 * b^(3)) * c^(2)) - ((2 * a^(2)) * c^(3)) + (((2 * a) * b) * c^(3)) + ((2 * b^(2)) * c^(3)) + ((3 * a) * c^(4)) + (b * c^(4)) - c^(5), (-a^(5)) + ((3 * a^(4)) * b) - ((2 * a^(3)) * b^(2)) - ((2 * a^(2)) * b^(3)) + ((3 * a) * b^(4)) - b^(5) + ((3 * a^(4)) * c) - (((2 * a^(3)) * b) * c) - (((4 * a^(2)) * b^(2)) * c) + (((2 * a) * b^(3)) * c) + (b^(4) * c) - ((12 * a^(3)) * c^(2)) + (((2 * a^(2)) * b) * c^(2)) - (((8 * a) * b^(2)) * c^(2)) + ((2 * b^(3)) * c^(2)) + ((4 * a^(2)) * c^(3)) - (((2 * a) * b) * c^(3)) - ((2 * b^(2)) * c^(3)) + ((5 * a) * c^(4)) - (b * c^(4)) + c^(5)})
e = Circle(cA, tA)
tB = Barycenter({A, B, C}, {(-((((-a) + b - c) * (a + b - c)^(3)))), (((4 * b^(2)) * (a + b - c)) * ((-a) + b + c)), (-((((-a) + b - c) * ((-a) + b + c)^(3))))})
tC = Barycenter({A, B, C}, {(-((((-a) - b + c) * (a - b + c)^(3)))), (-((((-a) - b + c) * ((-a) + b + c)^(3)))), (((4 * c^(2)) * (a - b + c)) * ((-a) + b + c))})
cB = Barycenter({A, B, C}, {a^(5) + ((5 * a^(4)) * b) + ((4 * a^(3)) * b^(2)) - ((12 * a^(2)) * b^(3)) + ((3 * a) * b^(4)) - b^(5) - (a^(4) * c) - (((2 * a^(3)) * b) * c) + (((2 * a^(2)) * b^(2)) * c) - (((2 * a) * b^(3)) * c) + ((3 * b^(4)) * c) - ((2 * a^(3)) * c^(2)) - (((8 * a^(2)) * b) * c^(2)) - (((4 * a) * b^(2)) * c^(2)) - ((2 * b^(3)) * c^(2)) + ((2 * a^(2)) * c^(3)) + (((2 * a) * b) * c^(3)) - ((2 * b^(2)) * c^(3)) + (a * c^(4)) + ((3 * b) * c^(4)) - c^(5), ((2 * b^(2)) * ((-a^(3)) - (a^(2) * b) - ((3 * a) * b^(2)) + (5 * b^(3)) + (a^(2) * c) + (((2 * a) * b) * c) - ((3 * b^(2)) * c) + (a * c^(2)) - (b * c^(2)) - c^(3))), (-a^(5)) + ((3 * a^(4)) * b) - ((2 * a^(3)) * b^(2)) - ((2 * a^(2)) * b^(3)) + ((3 * a) * b^(4)) - b^(5) + (a^(4) * c) + (((2 * a^(3)) * b) * c) - (((4 * a^(2)) * b^(2)) * c) - (((2 * a) * b^(3)) * c) + ((3 * b^(4)) * c) + ((2 * a^(3)) * c^(2)) - (((8 * a^(2)) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) - ((12 * b^(3)) * c^(2)) - ((2 * a^(2)) * c^(3)) - (((2 * a) * b) * c^(3)) + ((4 * b^(2)) * c^(3)) - (a * c^(4)) + ((5 * b) * c^(4)) + c^(5)})
cC = Barycenter({A, B, C}, {a^(5) - (a^(4) * b) - ((2 * a^(3)) * b^(2)) + ((2 * a^(2)) * b^(3)) + (a * b^(4)) - b^(5) + ((5 * a^(4)) * c) - (((2 * a^(3)) * b) * c) - (((8 * a^(2)) * b^(2)) * c) + (((2 * a) * b^(3)) * c) + ((3 * b^(4)) * c) + ((4 * a^(3)) * c^(2)) + (((2 * a^(2)) * b) * c^(2)) - (((4 * a) * b^(2)) * c^(2)) - ((2 * b^(3)) * c^(2)) - ((12 * a^(2)) * c^(3)) - (((2 * a) * b) * c^(3)) - ((2 * b^(2)) * c^(3)) + ((3 * a) * c^(4)) + ((3 * b) * c^(4)) - c^(5), (-a^(5)) + (a^(4) * b) + ((2 * a^(3)) * b^(2)) - ((2 * a^(2)) * b^(3)) - (a * b^(4)) + b^(5) + ((3 * a^(4)) * c) + (((2 * a^(3)) * b) * c) - (((8 * a^(2)) * b^(2)) * c) - (((2 * a) * b^(3)) * c) + ((5 * b^(4)) * c) - ((2 * a^(3)) * c^(2)) - (((4 * a^(2)) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) + ((4 * b^(3)) * c^(2)) - ((2 * a^(2)) * c^(3)) - (((2 * a) * b) * c^(3)) - ((12 * b^(2)) * c^(3)) + ((3 * a) * c^(4)) + ((3 * b) * c^(4)) - c^(5), ((2 * c^(2)) * ((-a^(3)) + (a^(2) * b) + (a * b^(2)) - b^(3) - (a^(2) * c) + (((2 * a) * b) * c) - (b^(2) * c) - ((3 * a) * c^(2)) - ((3 * b) * c^(2)) + (5 * c^(3))))})
f = Circle(cB, tB)
g = Circle(cC, tC)
A' = Barycenter({A, B, C}, {(2 * a^(3)) - ((3 * a^(2)) * b) + b^(3) - ((3 * a^(2)) * c) - (b^(2) * c) - (b * c^(2)) + c^(3), ((-b) * (a^(2) - ((2 * a) * b) + b^(2) - ((2 * a) * c) - ((2 * b) * c) + c^(2))), ((-c) * (a^(2) - ((2 * a) * b) + b^(2) - ((2 * a) * c) - ((2 * b) * c) + c^(2)))})
D = Intersect(AB, OrthogonalLine[A', Line[A, B]])
p = Circle(A', D)
B' = Barycenter({A, B, C}, {((-a) * (a^(2) - ((2 * a) * b) + b^(2) - ((2 * a) * c) - ((2 * b) * c) + c^(2))), a^(3) - ((3 * a) * b^(2)) + (2 * b^(3)) - (a^(2) * c) - ((3 * b^(2)) * c) - (a * c^(2)) + c^(3), ((-c) * (a^(2) - ((2 * a) * b) + b^(2) - ((2 * a) * c) - ((2 * b) * c) + c^(2)))})
C' = Barycenter({A, B, C}, {((-a) * (a^(2) - ((2 * a) * b) + b^(2) - ((2 * a) * c) - ((2 * b) * c) + c^(2))), ((-b) * (a^(2) - ((2 * a) * b) + b^(2) - ((2 * a) * c) - ((2 * b) * c) + c^(2))), a^(3) - (a^(2) * b) - (a * b^(2)) + b^(3) - ((3 * a) * c^(2)) - ((3 * b) * c^(2)) + (2 * c^(3))})
E = Intersect(BC, OrthogonalLine[B', Line[B, C]])
h = Circle(B', E)
F = Intersect(CA, OrthogonalLine[C', Line[C, A]])
k = Circle(C', F)
la = Mirror(Line[B, C], Line[B', C'])
lb = Mirror(Line[C, A], Line[C', A'])
lc = Mirror(Line[A, B], Line[A', B'])
A'' = Intersect(lb, lc)
B'' = Intersect(lc, la)
C'' = Intersect(la, lb)
i = Line(A'', A)
j = Line(B'', B)
l = Line(C'', C)
P = Intersect(i, j)